Proof: Derivative of log(x)